17 ideas
9540 | A 'value-assignment' (V) is when to each variable in the set V assigns either the value 1 or the value 0 [Hughes/Cresswell] |
9541 | The Law of Transposition says (P→Q) → (¬Q→¬P) [Hughes/Cresswell] |
9543 | The rules preserve validity from the axioms, so no thesis negates any other thesis [Hughes/Cresswell] |
9544 | A system is 'weakly' complete if all wffs are derivable, and 'strongly' if theses are maximised [Hughes/Cresswell] |
594 | Speusippus suggested underlying principles for every substance, and ended with a huge list [Speussipus, by Aristotle] |
17472 | Thick mechanisms map whole reactions, and thin mechanism chart the steps [Weisberg/Needham/Hendry] |
17471 | Using mechanisms as explanatory schemes began in chemistry [Weisberg/Needham/Hendry] |
17465 | Lavoisier's elements included four types of earth [Weisberg/Needham/Hendry] |
17468 | Over 100,000,000 compounds have been discovered or synthesised [Weisberg/Needham/Hendry] |
17469 | 'H2O' just gives the element proportions, not the microstructure [Weisberg/Needham/Hendry] |
17470 | Water molecules dissociate, and form large polymers, explaining its properties [Weisberg/Needham/Hendry] |
17473 | It is unlikely that chemistry will ever be reduced to physics [Weisberg/Needham/Hendry] |
17474 | Quantum theory won't tell us which structure a set of atoms will form [Weisberg/Needham/Hendry] |
17475 | For temperature to be mean kinetic energy, a state of equilibrium is also required [Weisberg/Needham/Hendry] |
17467 | Isotopes (such as those of hydrogen) can vary in their rates of chemical reaction [Weisberg/Needham/Hendry] |
17466 | Mendeleev systematised the elements, and also gave an account of their nature [Weisberg/Needham/Hendry] |
2632 | Speusippus said things were governed by some animal force rather than the gods [Speussipus, by Cicero] |